Concurrency and State Feedbacks in Petri Nets with External Input Places
نویسندگان
چکیده
منابع مشابه
Concurrency-degrees for Petri Nets
The goal of this paper is to extend some concepts (about concurrencydegrees) from the class of Place/Transition Petri nets (PTN) to the class of jumping Petri nets (JPTN). Also, we will present a simpler definition of concurrency-degree for PTN. Moreover, we will point out how we can compute these concurrency-degrees.
متن کاملPetri Nets and Other Models of Concurrency
This paper retraces, collects, and summarises contributions of the authors — in collaboration with others — on the theme of Petri nets and their categorical relationships to other models of concurrency.
متن کاملConcurrency in Communicating Object Petri Nets
Objects are studied as higher-level net tokens having an individual dynamical behaviour. In the context of Petri net research it i s quite natural to also model such tokens by Petri nets. To distinguish them from the system net, they are called object nets. Object nets behave like tokens, i.e., they are lying in places and are moved by transitions. In contrast to ordinary tokens, however, they ...
متن کاملConcurrency Measures for Inhibitor Petri Nets
The goal of this paper is to introduce measures of concurrency for inhibitor Petri nets.
متن کاملApplication and Theory of Petri Nets and Concurrency . PETRI NETS 2013
Preface It is already a tradition to select papers from the annual PETRI NETS conference for a special issue of Fundamenta Informaticae. This volume presents six papers that extend or combine seven papers from the 34th International Conference on Application and Theory of Petri Nets and Concurrency which took place at the Università degli Studi di Milano-Bicocca in June 2013. The program commit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the Institute of Systems, Control and Information Engineers
سال: 1992
ISSN: 1342-5668,2185-811X
DOI: 10.5687/iscie.5.317